TheME: an Environment for Building Formal KADS-II Models of Expertise

specify causeModel hypothesis observable observationModel sigma symptom sigma Balder et. al.: Building Formal KADS-II Models Figure 3: Menufor an item in a layer. band animation, connect modules. TheME generates the appropriate formal statements; • removing, modules can be removed, but only in those cases where no other modules depend on them; • renaming, if the name of a module is changed all references to it automatically show the new name. The browser described above views the domain layer as a set of knowledge modules. This view is available for all layers. For the inference layer, however, TheME offers also a KADS model point of view. I.e. a view in terms of dynamic knowledge roles and primitive inference actions. It should be noted that both views operate on the same internal model. Figure 4 shows an inference layer under construction. Ellipsis denote primitive inference actions and rectangles denote dynamic knowledge roles5. The menu